Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- automatización del desarrollo de sistemas informáticos.[1] Los métodos formales se caracterizan por emplear técnicas y herramientas matemáticas para lograr…9 kB (1238 palabras) - 11:20 27 ene 2024
- En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida…6 kB (770 palabras) - 13:10 3 ene 2024
- La teoría de los lenguajes formales estudia las gramáticas formales y los lenguajes formales, y es una rama de la matemática aplicada. Sus aplicaciones…18 kB (2420 palabras) - 17:33 9 abr 2024
- Fuentes del derecho (redirección desde Fuentes formales del Derecho)ordinario), sentencias, esto es, actos de conocimiento del derecho, siendo por tanto inviable que el TC innove normativamente, pues de sus sentencias no emanan…28 kB (3952 palabras) - 20:35 31 mar 2024
- La sentencia es una película filmada en blanco y negro de Argentina dirigida por Hugo del Carril según el guion de Eduardo Borrás que se estrenó el 10…5 kB (519 palabras) - 17:06 15 ene 2024
- es igual a la suma de todas las sentencias cumplidas secuencialmente, o una después de la otra).[2] Las sentencias adicionales incluyen las de tipo…14 kB (1454 palabras) - 06:55 19 dic 2023
- que permite traducir las teorías formales a operaciones de aritmética pura. La potencia expresiva de las teorías formales aritméticas, cuyas expresiones…39 kB (4670 palabras) - 08:53 11 abr 2024
- y que no puede ser dividida en otras sentencias más simples. Por ejemplo, "El cachorro corrió" es una sentencia atómica en lenguaje natural, mientras…10 kB (1357 palabras) - 16:51 14 nov 2023
- Cosa juzgada (redirección desde Sentencia firme)los derechos que las sentencias reconocen o declaran. Permite la inmutabilidad de los derechos adquiridos en virtud de las sentencias. Separación de poderes:…15 kB (1981 palabras) - 18:17 9 abr 2024
- Lenguaje objeto (sección Lenguajes formales)formal. El concepto de deducción natural es una generalización del concepto de prueba.[2] Una teoría es un conjunto de sentencias en lenguaje formal…7 kB (902 palabras) - 09:21 25 mar 2024
- Numeración de Gödel (categoría Lenguajes formales)esta sentencia no se puede probar. Si esta última sentencia se puede probar, entonces su sistema formal es inconsistente porque demuestra una sentencia que…6 kB (658 palabras) - 17:33 1 dic 2023
- recurribles en casación, las sentencias dictadas en segunda instancia por las audiencias provinciales, y las sentencias dictadas por la Sala de lo Civil…58 kB (9169 palabras) - 20:42 26 abr 2024
- Condicional material (sección Propiedades formales)consecuencia" (una clase de sentencia condicional), donde la condición y la consecuencia deben ser llenadas con sentencias en español. Sin embargo, esta…16 kB (2133 palabras) - 13:33 3 abr 2024
- Juicio ICE-Alcatel (sección Sentencias)impugnar esta última sentencia, a lo que dicha Sala indicó que el recurso no era admisible por ausencia de requisitos formales.[2] El expresidente Rodríguez…14 kB (1578 palabras) - 22:48 6 ene 2024
- Teoría (lógica) (sección Definición formal){Sent} ({\mathcal {L}})} es un subconjunto cualquiera de sentencias expresables en el lenguaje formal. Cons(Σ)={σ∈Sent(L)| Σ⊨Uσ, U∈M}{\displaystyle \mathrm…9 kB (1079 palabras) - 20:53 22 ago 2023
- una interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además permite estudiar en sí mismos los conjuntos de axiomas…10 kB (1489 palabras) - 11:19 19 abr 2024
- asignación de usos y niveles de intensidad de este, así como características formales y volumétricas de la edificación, para cada suelo. Esta asignación se hace…781 bytes (114 palabras) - 08:47 27 jun 2021
- Robert K. Meyer, Anil Gupta (lógico), y otros) exploró las consecuencias formales de la condición de relevancia con gran detalle en sus libros de implicación…3 kB (423 palabras) - 19:08 26 dic 2023
- todos los buenos dichos y galantes hechos, así heroicos como donosos: las sentencias de los prudentes, las malicias de los críticos, los chistes de los áulicos
- categorías: procedimientos y funciones. Los procedimientos son llamados como sentencias y no devuelven resultado, mientras que las funciones son llamadas como
- no suceder: Objetos: los nombres y sentencias nominales del lenguaje natural. Relaciones: los verbos y sentencias verbales del lenguaje natural; distinguimos
- según sentenció la Corte Suprema de Islandia. Al menos en Islandia, WikiLeaks dejará de tener problemas de financiación ya que la Corte sentenció que ambas
- ha hurtado. Ejemplo: Otrosi que no lleven sentençias de ningun hurto sin que sean condenados por sentençia pasada ni cosa judgada e la parte quien reçibiere
- lo sepa, quiera y pueda». «Decir es de charlatanes; hacer es de hombres formales». «Decir, me pesó; callar, no». «Decir pares, y salir nones, les ocurre